اثبات جدیدی از قضیه مورلی
نویسندگان
چکیده
قضیه مورلی حاکی است که نقاط برخورد خطوط مجاور اضلاع تثلیث کننده سه زاویه داخلی هر مثلث تشکیل یک مثلث متساوی الاضلاع می دهند. این مساله ابتدا در سال 1899 توسط فرانک مورلی مطرح گردید و تاکنون اثباتهای متعددی برای آن ارائه شده است. در این مقاله راه حل زیبایی که توسط آلن کن برنده مدال فیلدز در سال1998 ارائه شده است، تشریح می گردد.
منابع مشابه
درباره اثبات وایلز از قضیه آخر فرما
قضیه ی آخر فرما بیان می دارد که معادله ی x?+y?=z?, برای 3?n دارای جواب صحیح (xyz?0) نمی باشد. فرما (pierre de fermat) در حوالی سال 1637ادعا کرد که اثباتی جالب برای این قضیه ارائه کرده است که در حاشیه ی کتاب نمی گنجد. البته تنها اثبات کامل ریاضی که از او در دسترس است حل این معادله برای حالت 4=n می باشد که وی در آن از ایده ی نزول نامتناهی (infinite descent ) که هم اکنون نیز یکی از ابزارهای قوی ...
15 صفحه اولاثبات جدیدی از اتحاد دی بروئین در کانال‌های نوفه تجمعی نرمال با مؤلفه‌های مستقل
کانال‌های نوفه تجمعی از جمله مهمترین کانال‌های مخابراتی هستند که در مسائل پردازش سیگنال‌ها بسیار بدان‌ها توجه شده است. سیگنال دریافتی (متغیر تصادفی 15Y"> ) در این کانال‌ها به صورت مجموع یک سیگنال ارسال شده از مبدأ (متغیر تصادفی 15X"> ) و نوفه تحمیل شده بر آن (متغیر تصادفی 15Z"> ) است. یکی از مسائلی که دربارۀ سیگنال دریافتی مطرح است، آنتروپی متغیر تصادفی 15 Y"> است. در صورتی که متغیر تصادفی 15...
متن کاملاثبات قضیه بازتابی بروون - چورو
در این پایان نامه اثبات کاملی از قضیه بازتابی پروون - چورو ارائه می شود.
15 صفحه اولمروری بر اثبات های مختلف از قضیه بورسوک-اولام
قضیه بورسوک -اولام به دلیل داشتن اثبات های مختلف، کاربردهای جالب و متنوع و قضیه های هم ارز با آن یکی از مهمترین ابزار توپولوژی جبری است که در کلی ترین فرم خود می گوید که هر تابع پیوسته $f:mathbb{s}^nlongrightarrowmathbb{r}^n$ لااقل دو نقطه متقاطر را به یک مقدار می نگارد. و در حالت پیشرفته تر آن بیان می کند هر نگاشت فرد از $mathbb{s}^{n-1}longrightarrow mathbb{s}^{n-1}$ درجه فرد دار...
15 صفحه اولاثبات قضیه در منطق های زمانی به کمک رایانه و کاربر
هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
فرهنگ و اندیشه ریاضیناشر: انجمن ریاضی ایران
ISSN 1022-6443
دوره سال 27
شماره شماره پیاپی 41 2009
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023